<?php

echo "php: OK";
